Robert Dewar - PDFSEARCH.IO - Document Search Engine

Robert Dewar
Results: 41

#	Item
11	Microsoft Word - 2001_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:46 Ada programming language Year of birth missing Ada Semantic Interface Specification Ada Association for Computing Machinery GNAT Andy Wellings A Sharp Robert Dewar Computing Software engineering Computer programming
12	Microsoft PowerPoint - 1 SIGAda_Awards_2012 - all.ppt [Compatibility Mode] Add to Reading List Source URL: www.sigada.org Language: English - Date: 2012-12-06 07:24:58 Ada programming language Ada GNAT Jean E. Sammet Robert Dewar Jean Ichbiah LIS Computing Software engineering Computer programming
13	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
14	Microsoft WordApril Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2007-04-09 07:47:13 Computer programming Ada GNAT Alsys Robert Dewar A Sharp Intermetrics Grady Booch Jean Ichbiah Ada programming language Computing Software engineering
15	Microsoft Word - 1998_SIGAda_Awards.html Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:42:34 Ada Ada programming language Alsys Robert Dewar A Sharp Computing Software engineering Computer programming
16	SIGAda Awards 2011 Outstanding Ada Community Contribution Award 42 Previous Recipients Peter Amey Add to Reading List Source URL: www.sigada.org Language: English - Date: 2011-11-14 12:33:12 Programming language theory Ada Ravenscar profile Robert Dewar Jean Ichbiah LIS GNAT Andy Wellings SPARK Computing Software engineering Ada programming language
17	Microsoft Word - 1996_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:45 Ada programming language Ada Robert Dewar A Sharp Computing Software engineering Computer programming
18	Microsoft Word - 1999_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:45 Application programming interfaces Ada Association for Computing Machinery Ada programming language GNAT Robert Dewar POSIX FSU Pthreads Computing Software engineering Computer programming
19	Microsoft Word - 2000_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:46 Programming language theory Ada Robert Dewar DDC-I Ravenscar profile A Sharp Jean Ichbiah Computing Ada programming language Software engineering
20	Microsoft Word - 1995_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:45 Ada programming language Ada Robert Dewar Jean Ichbiah LIS GNAT Computing Software engineering Computer programming

UPDATE